Non-Uniform Data Complexity of Query Answering in Description Logics
نویسندگان
چکیده
In ontology-based data access (OBDA), ontologies are used as an interface for querying instance data. Since in typical applications the size of the data is much larger than the size of the ontology and query, data complexity is the most important complexity measure. In this paper, we propose a new method for investigating data complexity in OBDA: instead of classifying whole logics according to their complexity, we aim at classifying each individual ontology within a given master language. Our results include a P/coNP-dichotomy theorem for ontologies of depth one in the description logic ALCFI, the equivalence of a P/coNP-dichotomy theorem for ALC/ALCI-ontologies of unrestricted depth to the famous dichotomy conjecture for CSPs by Feder and Vardi, and a non-P/coNP-dichotomy theorem for ALCF -ontologies.
منابع مشابه
Mixing Open and Closed World Assumptionin Ontology-Based Data Access: Non-Uniform Data Complexity
When using ontologies to access instance data, it can be useful to make a closed world assumption (CWA) for some predicates and an open world assumption (OWA) for others. The main problem with such a setup is that conjunctive query (CQ) answering becomes intractable already for inexpressive description logics such as DL-Lite and EL. We take a closer look at this situation and carry out a fine-g...
متن کاملThe Complexity of Conjunctive Query Answering in Expressive Description Logics
Conjunctive query answering plays a prominent role in applications of description logics (DLs) that involve instance data, but its exact complexity was a long-standing open problem. We determine the complexity of conjunctive query answering in expressive DLs between ALC and SHIQ, and thus settle the problem. In a nutshell, we show that conjunctive query answering is 2ExpTime-complete in the pre...
متن کاملData Complexity of Query Answering in Description Logics (Extended Abstract)
We study the data complexity of answering conjunctive queries over Description Logic knowledge bases constituted by a TBox and an ABox. In particular, we are interested in characterizing the FOrewritability and the polynomial tractability boundaries of conjunctive query answering, depending on the expressive power of the DL used to express the knowledge base. What emerges from our complexity an...
متن کاملNon-Uniform Data Complexity of Query Answering in the Presence of Weakly Guarded TGDs
Ontology-based data access (OBDA) is a new and promising paradigm in database and logics research and offers the added benefit that detailed world knowledge about a subject can be embodied in an ontology, in addition to the classical instance database. Description logics are a prime candidate for expressive and efficient ontology languages, and complexity analysis of the accompanying reasoning ...
متن کاملView-based query answering in Description Logics: Semantics and complexity
View-based query answering is the problem of answering a query based only on the precomputed answers to a set of views. While this problem has been widely investigated in databases, it is largely unexplored in the context of Description Logic ontologies. Differently from traditional databases, Description Logics may express several forms of incomplete information, and this poses challenging pro...
متن کامل